
a:link {color:#09c;}
a:visited {color:#07a;}
a:hover {background-color:#eee;}

body {
	color:#333;
	background-color:white;
	margin:20px;
	padding:0px;
	}
pre.snippet {
	border: 2px solid lightsteelblue;
	background-color: #eeeeee;
	padding: 2px;
	margin-top: 2px;
	margin-bottom: 2px;
	font-size: 9pt;
}

pre.mylist {
	border: 2px solid lightsteelblue;
	background-color: #eeeeee;
	padding: 2px;
	margin-top: 2px;
	margin-bottom: 2px;
	font-size: 12pt;
}

pre.code {
	border: 2px solid #003B62;
	font-family: verdana;
	background-color: #B5CFE0;
	font-size: 11px;
	padding: 5px 5px 20px 5px;
	overflow-y : hidden;
	position : relative;
	overflow: auto;
/*	width: 470px; */
}
